منابع مشابه
the effect of recast and direct focused written corrective feedback on the grammatical accuracy of iranian efl learners’ writing achievement and retention
the extent to which written corrective feedback on linguistic errors can play a role in helping l2 writers improve the accuracy of their writing continues to be an issue of interest to researchers and teachers since truscott (1996) mounted a case for its abolition. while there is growing empirical evidence that written corrective feedback can successfully target some types of linguistic error (...
Talking Bananas
Session types provide static guarantees that concurrent programs respect communication protocols. We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus. We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session...
متن کاملBananas, Dark Worlds, and AspectH
This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our group-of-three discussion. 1 Motivation Looking at the code example below, we observe a certain level of redundancy, in particular structural redundancy, such as pattern matching , if-then-elseconstructs, and recursion . addOdds :: Integral a => [a] -> a addOd...
متن کاملCompliance with hygiene guidelines: the effect of a multimodal hygiene intervention and validation of direct observations.
BACKGROUND Good compliance with hygiene guidelines is essential to prevent bacterial transmission and health care-associated infections. However, the compliance is usually <50%. METHODS A multimodal and multidisciplinary hygiene intervention was launched once the baseline compliance was determined through direct observations in 4 departments of obstetrics and gynecology. Detailed evaluations ...
متن کاملDealing with Large Bananas
Many problems call for a mixture of generic and speci c programming techniques. We propose a polytypic programming approach based on generalised (monadic) folds where a separation is made between basic fold algebras that model generic behaviour and updates on these algebras that model speci c behaviour. We identify particular basic algebras as well as some algebra combinators, and we show how t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of International Law
سال: 1999
ISSN: 0938-5428,1464-3596
DOI: 10.1093/ejil/10.4.655